7.48/11.78	unsat
