11.26/14.92	unsat
