10.31/10.84	unsat
