4.87/5.10	unsat
