4.84/5.97	unsat
