10.97/11.50	unsat
