40.16/40.24	unsat
