7.48/10.77	unsat
