16.41/16.47	unsat
