4.87/5.00	unsat
