43.23/43.60	unsat
