26.63/29.14	unsat
