11.18/12.93	unsat
