40.32/43.76	unsat
