4.93/5.67	unsat
