5.99/6.30	unsat
