12.27/12.34	unsat
