40.33/40.45	unsat
