11.18/13.92	unsat
