5.85/6.00	unsat
