12.41/12.47	unsat
