7.68/12.37	unsat
