25.22/28.42	unsat
