5.89/6.00	unsat
