13.87/13.92	unsat
