5.99/6.07	unsat
