4.87/5.87	unsat
