40.10/40.18	unsat
