26.14/28.22	unsat
