5.99/6.09	unsat
