5.99/6.03	unsat
