25.69/26.62	unsat
