40.60/43.01	unsat
