12.36/15.68	unsat
