4.87/5.58	unsat
