9.66/11.50	unsat
