5.17/7.00	unsat
