10.97/11.90	unsat
