5.99/11.21	unsat
