10.68/10.99	unsat
