4.87/6.10	unsat
