5.07/7.67	unsat
