22.88/26.42	unsat
