13.57/14.92	unsat
