12.27/12.48	unsat
