26.51/27.15	unsat
