4.09/5.67	unsat
