26.72/30.96	unsat
