5.99/6.01	unsat
