26.02/26.47	unsat
