26.21/26.37	unsat
