11.96/13.92	unsat
