12.41/12.44	unsat
