7.99/10.03	unsat
