40.30/40.47	unsat
