9.41/11.99	unsat
