5.17/6.00	unsat
