26.54/26.62	unsat
