4.84/5.67	unsat
