26.34/41.62	unsat
