26.36/26.46	unsat
