5.99/6.80	unsat
