41.41/42.62	unsat
