4.68/7.11	unsat
