26.27/26.37	unsat
