40.03/40.14	unsat
