23.37/26.14	unsat
