42.98/43.62	unsat
