9.27/11.93	unsat
