10.68/10.98	unsat
