39.43/40.01	unsat
