26.02/26.34	unsat
