25.26/26.84	unsat
