13.89/13.92	unsat
