4.89/6.10	unsat
