12.36/12.68	unsat
