11.18/11.73	unsat
