12.27/12.68	unsat
